Buy Used and New Alex Groce Books

Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

by

ISBN 13: 9783642223051

Format: Paperback (205 pages)
Publisher: Springer
Published: 05 Jul 2011

Save for later